Novel modular coordination frameworks
نویسندگان
چکیده
منابع مشابه
New frameworks for Montgomery's modular multiplication method
We present frameworks for fast modular multiplication based on a modification of Montgomery’s original method. For (fixed) large integers, our algorithms may be significantly faster than conventional methods. Our techniques may also be extended to modular polynomial arithmetic.
متن کاملModular Composition of Coordination Services
Coordination services like ZooKeeper, etcd, Doozer, and Consul are increasingly used by distributed applications for consistent, reliable, and high-speed coordination. When applications execute in multiple geographic regions, coordination service deployments trade-off between performance, (achieved by using independent services in separate regions), and consistency. We present a system design f...
متن کاملA modular hierarchy of logical frameworks
We present a method for defining logical frameworks as a collection of features which are defined and behave independently of one another. Each feature is a set of grammar clauses and rules of deduction such that the result of adding the feature to a framework is a conservative extension of the framework itself. We show how several existing logical frameworks can be so built, and how several mu...
متن کاملDistributed Coordination in Modular Precision Assembly Systems Distributed Coordination in Modular Precision Assembly Systems
A promising approach to enabling the rapid deployment and reconfiguration of automated assembly systems is to make use of cooperating, modular, robust robotic agents. Over the past 5 years, the authors have been constructing just such a system suitable for assembly of high-precision, high-value products. Within this environment, each robotic agent executes its own program, coordinating its acti...
متن کاملModular Verification of Systems via Service Coordination?
We present a service-oriented approach to the verification of properties of distributed systems specified in dialects of the π-calculus. Our verification methodology allows programming the coordination of the sub-tasks involved in verification runs together with the corresponding verification toolkits. The methodology is supported by a Web-service infrastructure integrating several verification...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Crystallographica Section A Foundations of Crystallography
سال: 2005
ISSN: 0108-7673
DOI: 10.1107/s0108767305082899